perm filename MKTHM.DO[BMP,SYS] blob
sn#737818
filedate 1984-01-14 generic text, type T, neo UTF8
r plisp↔ (fasload make-t)↔ (make-thm)↔ save thm↔